<html>
<head><meta charset="utf-8"><title>I-prioritize #79787 ICE: improper_ctypes: Option nonnull op… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379787.20ICE.3A.20improper_ctypes.3A.20Option.20nonnull.20op.E2.80.A6.html">I-prioritize #79787 ICE: improper_ctypes: Option nonnull op…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="219069852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379787%20ICE%3A%20improper_ctypes%3A%20Option%20nonnull%20op%E2%80%A6/near/219069852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379787.20ICE.3A.20improper_ctypes.3A.20Option.20nonnull.20op.E2.80.A6.html#219069852">(Dec 07 2020 at 11:42)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/79787">#79787</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="219337151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379787%20ICE%3A%20improper_ctypes%3A%20Option%20nonnull%20op%E2%80%A6/near/219337151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379787.20ICE.3A.20improper_ctypes.3A.20Option.20nonnull.20op.E2.80.A6.html#219337151">(Dec 09 2020 at 13:45)</a>:</h4>
<p>bump, this one needs to be prioritized</p>



<a name="219359367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379787%20ICE%3A%20improper_ctypes%3A%20Option%20nonnull%20op%E2%80%A6/near/219359367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379787.20ICE.3A.20improper_ctypes.3A.20Option.20nonnull.20op.E2.80.A6.html#219359367">(Dec 09 2020 at 16:18)</a>:</h4>
<p>Can't really a lot about this, this ICE starts showing at 1.43. There is a patch underway to fix it</p>



<a name="219359825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379787%20ICE%3A%20improper_ctypes%3A%20Option%20nonnull%20op%E2%80%A6/near/219359825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379787.20ICE.3A.20improper_ctypes.3A.20Option.20nonnull.20op.E2.80.A6.html#219359825">(Dec 09 2020 at 16:21)</a>:</h4>
<p>I'd settle on a <code>P-medium</code>, to a cursory view seems the issue is an unfinished support for that linting on FFI</p>



<a name="219359881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379787%20ICE%3A%20improper_ctypes%3A%20Option%20nonnull%20op%E2%80%A6/near/219359881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379787.20ICE.3A.20improper_ctypes.3A.20Option.20nonnull.20op.E2.80.A6.html#219359881">(Dec 09 2020 at 16:22)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/79787">#79787</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>